signature tigertemp = 
sig
	type temp = string
	val newtemp : unit -> temp
	val temp2string : temp -> string
	val string2temp : string -> temp
	val makeString : string -> string

	type label = string
	val newlabel : unit -> label
	val namedlabel : string -> label
end
